]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12b0050) | patch
WorkspacesDisplay: update the primary monitor index too
authorRui Matos <tiagomatos@gmail.com>
Wed, 4 Feb 2015 14:35:34 +0000 (15:35 +0100)
committerRui Matos <tiagomatos@gmail.com>
Thu, 5 Feb 2015 12:34:52 +0000 (13:34 +0100)
commitfb6598ac10c5d9d9e6e0214ea977c8fb558644a4
treeb2653411e1ff1e5bf4120e973f92a8efc7ba49d7tree | snapshot
parent12b00501cc5eacc2c0bb63af98ea786892e96be8commit | diff
WorkspacesDisplay: update the primary monitor index too

The primary monitor index might change so we need to update it too.

https://bugzilla.gnome.org/show_bug.cgi?id=743993
js/ui/workspacesView.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.